Knihy od autora Warren A. Hunt

Zobrazeno 1 – 3 z 3 výsledků

1. 

   Formal Methods in Computer-Aided Design

   Warren A. Hunt, Steven D. Johnson | Springer, Berlin, 2000

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2357 Kč

   Koupit
2. 

   Computer Aided Verification

   Warren A. Hunt, Fabio Somenzi | Springer, Berlin, 2003

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
3. 

   FM8501: A Verified Microprocessor

   Warren A. Hunt | Springer, Berlin, 1994

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit

Máte na výběr ze mnoha způsobů platby za váš nákup. Zjistěte více